
div.pagination {
    padding: 3px;
    margin: 3px;
}

div.pagination a {
    padding: 2px 5px 2px 5px;
    margin: 2px;
    border: 1px solid #AAAADD;
    font-size:11px;
    font-family:Arial,Verdana,Tahoma,Helvetica;
    text-decoration: none; /* no underline */
    color: #000099;
    cursor: pointer;
}
div.pagination a:hover, div.pagination a:active {
    border: 1px solid #000099;
    color: #000;
}
div.pagination span.current {
    padding: 2px 5px 3px 5px;
    margin: 2px;
    border: 1px solid #AAAADD;
    font-weight: bold;
    font-size:11px;
    color: red;
}
div.pagination span.disabled {
    font-size:11px;
    font-family:Arial,Verdana,Tahoma,Helvetica;
    padding: 2px 5px 2px 5px;
    margin: 2px;
    border: 1px solid #EEE;
    color: #DDD;
}
